Some Estelle mechanisms revisited
نویسنده
چکیده
We try to make an (incomplete) outline of Estelle mechanisms that have been discussed over last years. We think it is time to summarise some of the experience and be prepared for broader discussion on the language futures. We repeat and remind some arguments that were raised while the language was being designed, add some new ones and give references to works that addressed a particular subject. The mechanisms that are discussed below are not ordered by any priorities, and many of them are strongly inter-related. The list is by no means complete. We try to avoid any conclusive remarks, but our preference is to keep the original principles and "logic" of the language. We are making, however, some concrete proposition related to inter-module communication and structuralization.
منابع مشابه
Inhibition Revisited in EFL Learning/Teaching
In the affective sphere of EFL learning especially with regard to teaching/learning situations in Iran, one deterrent element seizes particular attention and that is inhibition self-imposed restraint on or abstinence from learning due to academic and non-academic variables such as culture, gender, psyche, extreme emotions, etc. It is related to language ego permeability hypothesis (LEPH) which ...
متن کاملSpecifying Multimedia QoS Parameters and Synchronization using
A distributed multimedia system (DMS) involves the transmissions of different types of data over the same or different communication channels. Data include noncontinuous ones, like text and image, and continuous ones, like video and audio, which are characterized by time. A specification language to specify multimedia Quality of Service (QoS) parameters synchronisation mechanisms, it must be ab...
متن کاملTeaching Estelle: Lessons from Experience
An experience in teaching Estelle and its enhanced variant Estelle* in both an industrial and academic context is discussed. The proposed program covers EFSMs, Petri nets, Labeled Transition Systems, Estelle and Estelle*. Some lessons learnt in teaching the Estelle* methodology are reported.
متن کاملACADEMIC WRITING REVISITED: A PHRASEOLOGICAL ANALYSIS OF APPLIED LINGUISTICS HIGH-STAKE GENRES FROM THE PERSPECTIVE OF LEXICAL BUNDLES
Lexical bundles are frequent word combinations that commonly appear in different registers. They have been the subject of much research in the area of corpus linguistics during the last decade. While most previous studies of bundles have mainly focused on variations in the use of these word combinations across different registers and a number of disciplines, not much research has been done to e...
متن کاملTimed Automata Generation from Estelle Speci cations
The aim of this paper is to present a new method to generate timed input/output automata from Estelle speciications. The main idea is to extend the ESTELLE language with a new constructor : TVAR, which permits the deenition of clocks to be used for time constraints. The second concept is to propose some semantic rules in order to deene how to take into account clock constraints in the ESTELLE s...
متن کامل